A Context-Driven Programming Model for Pervasive Spaces
نویسندگان
چکیده
Existing pervasive spaces present problems, mainly related to the extensibility of the system and conflicting services and devices within the system. The programming model proposed here aims to resolve these problems by providing explicit knowledge representation, enhanced safety guarantees and by enabling extendability. By formalizing the three relevant entities (sensors, actuators and users), we define a pervasive space and the context of the space. We show how we developed an IDE to program a pervasive space using this model. To further demonstrate the feasibility of our model we discuss its implementation in our GatorTech Smart House (6).
منابع مشابه
A Context-Driven Programming Model for Pervasive Spaces
This paper defines a context driven programming model for pervasive spaces. Existing pervasive spaces present problems, mainly related to the extensibility of the system and conflicting services and devices within the system. The programming model proposed here aims to resolve these problems by providing explicit knowledge representation, enhanced safety guarantees and by enabling extendability...
متن کاملA context-sensitive dynamic role-based access control model for pervasive computing environments
Resources and services are accessible in pervasive computing environments from anywhere and at any time. Also, due to ever-changing nature of such environments, the identity of users is unknown. However, users must be able to access the required resources based on their contexts. These and other similar complexities necessitate dynamic and context-aware access control models for such environmen...
متن کاملA semantic-aware role-based access control model for pervasive computing environments
Access control in open and dynamic Pervasive Computing Environments (PCEs) is a very complex mechanism and encompasses various new requirements. In fact, in such environments, context information should be used in access control decision process; however, it is not applicable to gather all context information completely and accurately all the time. Thus, a suitable access control model for PCEs...
متن کاملTowards the Model Driven Development of context-aware pervasive systems
In this work, we introduce a Model Driven Development method for developing contextaware pervasive systems. This method allows us to specify a context-aware pervasive system at a high level of abstraction by means of a set of models, which describes both the system functionality and the context information. From these models, an automated code generation strategy is applied. This strategy allow...
متن کاملA Programming Model for Pervasive Spaces
In this article we will propose a formal model for smart spaces. The key ingredients of this model are user, sensors and actuators. We show how we can derive a programming model based upon knowledge and software engineering. We describe how to interpret the world using an ontology and use this ontology to describe the intentional effect of available actuators. The model is loosely based on the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007